extern void case001_test(void);